$\forall$${\it es}$:ES, ${\it Config}$:AbsInterface(chain\_config()), $e$:E.
\\[0ex]Dec($\exists$$c$$<$$e$.($\uparrow$($c$ $\in_{b}$ ${\it Config}$)) \& ($\uparrow$cctail?(${\it Config}$($c$))))